- mathematical logic
- математическая логика - см. symbolic logic
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. . 1998-2007.
Англо-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. . 1998-2007.
Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… … Wikipedia
mathematical logic — n. SYMBOLIC LOGIC * * * … Universalium
mathematical logic — n. SYMBOLIC LOGIC … English World dictionary
mathematical logic — noun A subfield of logic and mathematics consisting of both the mathematical study of logic and the application of this study to other areas of mathematics, exemplified by questions on the expressive power of formal logics and the deductive power … Wiktionary
mathematical logic — noun any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity • Syn: ↑symbolic logic, ↑formal logic • Hypernyms: ↑logic, ↑logical system, ↑system of logic … Useful english dictionary
mathematical logic — /mæθəˌmætɪkəl ˈlɒdʒɪk/ (say mathuh.matikuhl lojik) noun a modern development of formal logic employing a special notation or symbolism capable of manipulation in accordance with precise rules; symbolic logic …
mathematical logic — noun Date: 1853 symbolic logic … New Collegiate Dictionary
mathematical logic. — See symbolic logic. [1855 60] * * * … Universalium
mathematical logic — A term for modern formal logic, particularly those logical calculi powerful enough to express classical mathematics … Philosophy dictionary
mathematical logic — mathemat′ical log′ic n. pho symbolic logic • Etymology: 1855–60 … From formal English to slang
mathematical logic. — See symbolic logic. [1855 60] … Useful english dictionary